def mu: ((M, M)) => M